(0 17 15)(1 19 3)(2 11 4)(5 20 6)(7 18 9)(8 13 10)(12 16 14)
ALLOWS (11/8)-SEQUENCE
1: (3 7 18)
(0 17 15)(1 19 3 9 7)(2 11 4)(5 20 6)(8 13 10)(12 16 14)(18)
2: (2 11 4)
(0 17 15)(1 19 3 9 7)(2)(4)(5 20 6)(8 13 10)(11)(12 16 14)(18)
3: (3 9 19)
(0 17 15)(1 19 7)(2)(3)(4)(5 20 6)(8 13 10)(9)(11)(12 16 14)(18)
4: (8 13 10)
(0 17 15)(1 19 7)(2)(3)(4)(5 20 6)(8)(9)(10)(11)(12 16 14)(13)(18)